Autori: Ivetic Jelena B
Naslov | Intuitionistic Sequent-Style Calculus with Explicit Structural Rules (Proceedings Paper) |
Autori | Gilezan Silvia Ivetic Jelena B Lescanne Pierre Zunic Dragisa |
Info | LOGIC, LANGUAGE, AND COMPUTATION, (2011), vol. 6618 br. , str. 101-124 |
Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|